/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package alloy2code;
import edu.mit.csail.sdg.alloy4compiler.ast.Sig;
import edu.mit.csail.sdg.alloy4compiler.ast.Func;

/**
 *
 * @author Daniel
 */
public interface Translator {
    public String SigTranslate(SigData s);
    public String PredTranslate(Func f);
    public String PrecondTranslate(String pre);
    public String PostcondTranslate(String pos);
}
